Третья проблема Гильберта
Третья проблема Гильберта — третья из проблем, поставленных Давидом Гильбертом в его знаменитом докладе на II Международном Конгрессе математиков в Париже в 1900 году. Эта проблема посвящена вопросам равносоставленности многогранников: возможности разрезания двух многогранников равного объёма на конечное число равных частей-многогранников.
Постановка такого вопроса была связана с тем, что, с одной стороны, на плоскости любые два многоугольника равной площади равносоставлены — как утверждает теорема Бойяи — Гервина. С другой стороны, имевшиеся способы доказательства формулы для объёма тетраэдра (1/3 произведения высоты на площадь основания) так или иначе были связаны с предельными переходами, и тем самым с аксиомой Архимеда[1]. Хотя буквально в предложенной Гильбертом формулировке речь шла о равносоставленности тетраэдров (а, точнее, о доказательстве невозможности такого разбиения в общем случае), она немедленно и естественно расширяется до вопроса о равносоставленности произвольных многогранников заданного объёма (а, точнее, о необходимых и достаточных для этого условиях).
Третья проблема оказалась самой простой из проблем Гильберта: пример неравносоставленных тетраэдров равного объёма был предъявлен уже через год, в 1901 году, в работе[2] ученика Гильберта М. В. Дена. А именно, им была построена (принимающая значения в некоторой абстрактной группе) величина — инвариант Дена — значения которой на равносоставленных многогранниках равны, и предъявлен пример тетраэдров равного объёма, для которых значения инварианта Дена различаются.
В дальнейшем Сайдлер в своей работе[3] 1965 года показал, что совпадение объёма и инварианта Дена являются не только необходимыми, но и достаточными условиями равносоставленности многогранников.
Формулировка проблемы
Третья проблема Гильберта формулируется так:
|
Гаусс в двух своих письмах к Герлингу выражает сожаление по поводу того, что некоторые известные положения стереометрии зависят от метода исчерпывания, то есть, говоря современным языком, от аксиомы непрерывности (или от аксиомы Архимеда). Гаусс специально отмечает теорему Евклида, согласно которой объёмы треугольных пирамид, имеющих равные высоты, относятся как площади их оснований. Аналогичная задача планиметрии ныне полностью решена. Герлингу удалось также доказать равенство объёмов симметричных многогранников при помощи разбиения их на конгруэнтные части. Тем не менее, как мне кажется, в общем случае доказательство упомянутой теоремы Евклида этим способом провести невозможно и это, по-видимому, может быть подтверждено строгим доказательством невозможности. Такое доказательство можно было бы получить, если бы удалось указать такие два тетраэдра с равными основаниями и равными высотами, которые никаким способом не могут быть разложены на конгруэнтные тетраэдры и которые также не могут быть дополнены конгруэнтными тетраэдрами до таких многогранников, для которых разложение на конгруэнтные тетраэдры возможно. |
| ||
Давид Гильберт
(цитируется по книге В. Г. Болтянского[4])
| ||||
Инвариант Дена
Инвариант, построенный Деном, принимает значения в абстрактной группе (и, более того, векторном пространстве над [math]\displaystyle{ \Q }[/math])
- [math]\displaystyle{ V=\R\otimes_{\Q} \R / \langle \{l\otimes \pi \mid l\in \R\} \rangle. }[/math]
А именно, для многогранника P с длинами рёбер [math]\displaystyle{ l_1,\dots,l_n }[/math] и соответствующими им двугранными углами [math]\displaystyle{ \alpha_1,\dots,\alpha_n }[/math] инвариант Дена D(P) полагается равным
- [math]\displaystyle{ D(P):=\sum_i l_i \otimes \alpha_i \in V }[/math]
При разрезании многогранника на части значение суммы «длина ребра [math]\displaystyle{ \otimes }[/math] прилежащий угол» может изменяться только при возникновении/исчезновении новых рёбер, возникающих внутри или на границе. Но у таких рёбер сумма прилегающих к ним двугранных углов равна [math]\displaystyle{ 2\pi }[/math] или [math]\displaystyle{ \pi }[/math] соответственно, поэтому как элемент фактора V инвариант Дена не изменяется.
Пример
Примером применения инварианта Дена является неравносоставленность куба и правильного тетраэдра равного ему объёма: для куба с ребром l инвариант Дена равен [math]\displaystyle{ 12 l \otimes \frac{\pi}{2} = 6l\otimes \pi =0 }[/math], а для правильного тетраэдра с ребром a —
- [math]\displaystyle{ 6a\otimes 2\arctan \frac{1}{\sqrt{2}}\neq 0, }[/math]
поскольку [math]\displaystyle{ \arctan \frac{1}{\sqrt{2}}\notin \Q \pi. }[/math]
Примечания
- ↑ Архивированная копия (недоступная ссылка). Дата обращения: 25 марта 2010. Архивировано 17 октября 2011 года.Архивированная копия (недоступная ссылка). Дата обращения: 25 марта 2010. Архивировано 17 октября 2011 года.
- ↑ Max Dehn: «Über den Rauminhalt», Mathematische Annalen 55 (1901), no. 3, pages 465—478.
- ↑ Sydler, J.-P. «Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l’espace euclidean à trois dimensions.» Comment. Math. Helv. 40, 43-80, 1965.
- ↑ Болтянский В. Г. Третья проблема Гильберта. — М.: Наука, 1977. — С. 46. — 208 с. Архивная копия от 21 апреля 2017 на Wayback Machine
Ссылки
- Weisstein, Eric W. Dehn Invariant (англ.) на сайте Wolfram MathWorld.
Литература
- Проблемы Гильберта / под ред. П. С. Александрова. — М.: Наука, 1969. — 240 с. — 10 700 экз. Архивная копия от 17 октября 2011 на Wayback Machine
- Болтянский В. Г. Третья проблема Гильберта
- Dehn, M. «Über raumgleiche Polyeder.» Nachr. Königl. Ges. der Wiss. zu Göttingen f. d. Jahr 1900, 345—354, 1900.
- Dehn, M. «Über den Rauminhalt.» Math. Ann. 55, 465—478, 1902.
- Sydler, J.-P. «Conditions nécessaires et suffisantes pour l'équivalence des polyèdres de l’espace euclidean à trois dimensions.» Comment. Math. Helv. 40, 43-80, 1965.
- P. Cartier, Décomposition des polyèdres : le point sur le troisième problème de Hilbert, Séminaire Bourbaki, 1984-85, n° 646, p. 261—288.
